$\forall$$A$:Type, $I$:MaInterface($A$). Normal($A$,$I$) $\in$ $\mathbb{P}$